2de8ef315dc517ffd02fda343bdfd0e0f664a570,test/heros/IFDSSolverTest.java,IFDSSolverTest,reuseSummaryForRecursiveCall,#,63
Before Change
helper.method("bar",
startPoints("g"),
normalStmt("g").succ("h", flow("1", "1")).succ("i", flow("1", "1")),
callSite("i").calls("bar", flow("1", "1")).retSite("h", flow("1")),
exitStmt("h").returns(over("a"), to("b"), flow("1"), flow("2" ,"2"))
.returns(over("i"), to("h"), flow("1","2"), flow("2", "2")));
After Change
helper.method("bar",
startPoints("g"),
normalStmt("g", flow("1", "1")).succ("i").succ("h"),
callSite("i").calls("bar", flow("1", "1")).retSite("h", flow("1")),
exitStmt("h").returns(over("a"), to("b"), flow("1"), flow("2" ,"2"))
.returns(over("i"), to("h"), flow("1","2"), flow("2", "2")));